翻訳と辞書
Words near each other
・ Jim Darcy
・ Jim Dator
・ Jim Dauterive
・ Jim Davenport
・ Jim Davenport (journalist)
・ Jim David
・ Jim David (American football)
・ Jim Davidson
・ Jim Davidson (actor)
・ Jim Davidson (disambiguation)
・ Jim Davidson (rugby union, born 1931)
・ Jim Davidson (rugby union, born 1942)
・ Jim Davie
・ Jim Davies
・ Jim Davies (cognitive scientist)
Jim Davies (computer scientist)
・ Jim Davies (footballer)
・ Jim Davies (musician)
・ Jim Davies (rugby)
・ Jim Davis (actor)
・ Jim Davis (baseball)
・ Jim Davis (basketball)
・ Jim Davis (business)
・ Jim Davis (cartoonist)
・ Jim Davis (coach)
・ Jim Davis (Florida politician)
・ Jim Davis (gridiron football)
・ Jim Davis (Indiana politician)
・ Jim Davis (North Carolina politician)
・ Jim Davis (Ohio politician)


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Jim Davies (computer scientist) : ウィキペディア英語版
Jim Davies (computer scientist)

Jim Davies is Professor of Software Engineering and current Director of the Software Engineering Programme at the University of Oxford, England.
== Biography ==
Jim Davies studied mathematics at New College, Oxford, joining the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) in 1986 for a Masters' and Doctorate.〔 After working as a researcher and lecturer in computer science, at Oxford, Reading, and Royal Holloway, University of London, he became a lecturer in software engineering at Oxford in 1995.〔 He has led the Software Engineering Programme since 2000, and was made Professor of Software Engineering in 2006.〔
Davies is an expert in formal methods, including Communicating Sequential Processes (CSP) and the Z notation.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Jim Davies (computer scientist)」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.